Shorten the title of index.html
